draining a pool